
#include "bsw_event.h"

void bsw_event_enqueue_tail(struct event *e, struct event_queue *q);
void bsw_event_enqueue_head(struct event *e, struct event_queue *q);
struct event * bsw_event_dequeue(struct event_queue *q);